8.47/8.73	unsat
