0.00/1.69	unsat
