82.28/84.19	unsat
