0.31/0.65	unsat
