83.02/85.40	unsat
