0.98/1.07	unsat
