1.39/1.69	unsat
