9.16/12.73	unsat
