0.07/1.07	unsat
