17.36/19.60	unsat
