6.70/8.21	unsat
