7.87/8.30	unsat
