1.69/1.73	unsat
