0.64/0.65	unsat
