0.89/1.07	unsat
