80.83/81.11	unsat
