80.25/80.48	unsat
