0.29/0.65	unsat
