18.97/19.13	unsat
