18.35/18.95	unsat
