71.50/76.00	unsat
