64.38/66.28	unsat
