0.11/1.69	unsat
