1.39/1.73	unsat
