80.24/81.80	unsat
