6.71/7.96	unsat
