77.91/79.62	unsat
