17.14/18.15	unsat
