0.63/0.65	unsat
