18.17/18.24	unsat
