1.39/6.73	unsat
