6.71/7.00	unsat
