17.35/18.60	unsat
