0.88/1.04	unsat
