18.19/18.26	unsat
