7.71/7.90	unsat
