0.26/0.65	unsat
