18.13/19.95	unsat
