83.49/87.60	unsat
