6.98/7.21	unsat
