6.81/7.00	unsat
