0.71/1.04	unsat
