7.69/8.09	unsat
