0.18/1.69	unsat
