80.47/81.75	unsat
