80.00/80.26	unsat
