80.57/82.54	unsat
