6.47/8.30	unsat
