8.67/8.73	unsat
