7.71/7.82	unsat
