diff --git a/featureide.csproj b/featureide.csproj
index 11178d3..e1b9c5e 100644
--- a/featureide.csproj
+++ b/featureide.csproj
@@ -22,7 +22,9 @@
   <ItemGroup>
     <None Include=".gitignore" />
     <None Include="de.ovgu.featureide.fm.jar" />
-    <None Include="packages.config" />
+    <None Include="packages.config">
+      <SubType>Designer</SubType>
+    </None>
   </ItemGroup>
   <ItemGroup>
     <None Include="build.ps1" />
@@ -31,19 +33,19 @@
     <None Include="LICENSE" />
     <None Include="README.md" />
   </ItemGroup>
+  <ItemGroup>
+    <Folder Include="Properties\" />
+  </ItemGroup>
   <ItemGroup>
     <Reference Include="org.sat4j.core">
-      <HintPath>packages\org.sat4j.core.2.3.5-rc04\lib\net20\org.sat4j.core.dll</HintPath>
+      <HintPath>packages\org.sat4j.core.2.3.5\lib\net20\org.sat4j.core.dll</HintPath>
       <Private>True</Private>
     </Reference>
     <Reference Include="org.sat4j.pb">
-      <HintPath>packages\org.sat4j.pb.2.3.5-rc04\lib\net20\org.sat4j.pb.dll</HintPath>
+      <HintPath>packages\org.sat4j.pb.2.3.5\lib\net20\org.sat4j.pb.dll</HintPath>
       <Private>True</Private>
     </Reference>
   </ItemGroup>
-  <ItemGroup>
-    <Folder Include="Properties\" />
-  </ItemGroup>
   <Target Name="Build">
     <MakeDir Directories="$(OutputPath)" Condition="!Exists('$(OutputPath)')" />
     <PropertyGroup>
diff --git a/packages.config b/packages.config
index 552920c..4e4b5ed 100644
--- a/packages.config
+++ b/packages.config
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <packages>
   <package id="IKVM" version="8.1.5717.0" targetFramework="net20" />
-  <package id="org.sat4j.core" version="2.3.5-rc04" targetFramework="net20" />
-  <package id="org.sat4j.pb" version="2.3.5-rc04" targetFramework="net20" />
+  <package id="org.sat4j.core" version="2.3.5" targetFramework="net20" />
+  <package id="org.sat4j.pb" version="2.3.5" targetFramework="net20" />
 </packages>
\ No newline at end of file