8.66/8.73	unsat
