76.49/76.86	unsat
