19.36/20.94	unsat
