76.66/76.84	unsat
