17.35/19.15	unsat
