0.62/0.65	unsat
