80.50/81.15	unsat
