76.72/76.92	unsat
