18.37/19.95	unsat
