1.39/2.69	unsat
