0.69/1.04	unsat
