1.71/1.73	unsat
