19.44/20.93	unsat
