0.99/1.07	unsat
