1.30/1.73	unsat
