17.10/19.40	unsat
