76.06/79.55	unsat
