0.67/1.07	unsat
