76.96/79.89	unsat
