0.60/0.65	unsat
