8.25/8.30	unsat
