80.87/84.30	unsat
