6.97/7.00	unsat
