18.25/19.87	unsat
