76.15/79.82	unsat
