0.95/1.04	unsat
