8.02/9.30	unsat
