18.15/18.23	unsat
