17.19/18.24	unsat
