0.10/0.65	unsat
