8.07/8.17	unsat
