0.96/1.07	unsat
