1.08/1.69	unsat
