19.39/21.91	unsat
