79.03/80.87	unsat
