6.47/8.21	unsat
