77.39/79.29	unsat
