8.06/9.26	unsat
