18.44/19.13	unsat
