0.98/1.04	unsat
