76.30/76.73	unsat
