80.20/83.90	unsat
