1.50/1.73	unsat
