75.39/79.75	unsat
