80.05/80.30	unsat
