0.69/2.04	unsat
