18.25/19.69	unsat
