73.77/76.00	unsat
