0.85/1.04	unsat
