8.21/9.66	unsat
