0.69/2.02	unsat
