78.84/80.09	unsat
