17.49/19.15	unsat
