0.09/1.69	unsat
