73.93/76.30	unsat
