19.17/19.60	unsat
